Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
101	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
102	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
103	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
104	Curriculum Vitae Laura Ildik´o Kov´acs A SSOCIATE P ROFESSOR Department of Computer Science and Engineering Chalmers University of TechnologyGothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:06:43 Logic in computer science Automated theorem proving Formal methods Artificial intelligence Automated reasoning Computer science Formal verification Model checking Symbolic computation Theoretical computer science Applied mathematics Mathematics
105	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
106	Curriculum Vitæ: Chee K. Yap Professor of Computer Science Courant Institute of Mathematical Sciences New York University August 5, 2013 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-08-05 11:07:06 Theoretical computer science Science Computational geometry Computer science Algorithm Joseph S. B. Mitchell Symbolic-numeric computation Courant Institute of Mathematical Sciences Mathematics Applied mathematics Computational science
107	Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-06-30 10:10:16 Functional languages OCaml Camlp4 Caml Ocsigen Arbitrary-precision arithmetic Sage Maple Symbolic computation Software Computing Mathematical software
108	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics
109	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap ∗ Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-06-16 14:32:05 Science Computer algebra Algorithm Mathematical logic Theoretical computer science Computational geometry Numerical analysis Symbolic computation Numerical linear algebra Mathematics Computational science Applied mathematics
110	A New Lingua Franca for Symbolic Computation Alexander Konovalov Centre of Interdisciplinary Research in Computational Algebra University of St Andrews Add to Reading List Source URL: www.singular.uni-kl.de Language: English - Date: 2010-10-29 09:34:47 Cross-platform software Functional languages Computer algebra systems Sage GAP Multi-core processor Maple SINGULAR Mathematica Mathematical software Software Application software

UPDATE